Métodos Formais em Engenharia de Software
Mestrado de [Engenharia] Informática (2011/12)
Cancel
Search
:
^m
Education/MFES1112 Web
Changed
Changed by
Material
27 Feb 2013 - 11:24 - r36
JoseNunoOliveira
Índice do material disponível: Bibliografia Daniel Jackson. abstractions: logic, language, and analysis . MIT Press, 2006. C.B. Jones. Systematic Software ...
Found
1
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM